<?php
function score(array $input) {
    $var0 = array();
    if (($input[3]) <= (0.75)) {
        $var0 = array(1.0, 0.0, 0.0);
    } else {
        if (($input[2]) <= (4.75)) {
            $var0 = array(0.0, 1.0, 0.0);
        } else {
            if (($input[2]) <= (5.049999952316284)) {
                if (($input[3]) <= (1.75)) {
                    $var0 = array(0.0, 0.8333333333333334, 0.16666666666666666);
                } else {
                    $var0 = array(0.0, 0.08333333333333333, 0.9166666666666666);
                }
            } else {
                $var0 = array(0.0, 0.0, 1.0);
            }
        }
    }
    $var1 = array();
    if (($input[3]) <= (0.800000011920929)) {
        $var1 = array(1.0, 0.0, 0.0);
    } else {
        if (($input[0]) <= (6.25)) {
            if (($input[2]) <= (4.8500001430511475)) {
                $var1 = array(0.0, 0.9487179487179487, 0.05128205128205128);
            } else {
                $var1 = array(0.0, 0.0, 1.0);
            }
        } else {
            if (($input[3]) <= (1.550000011920929)) {
                $var1 = array(0.0, 0.8333333333333334, 0.16666666666666666);
            } else {
                $var1 = array(0.0, 0.02564102564102564, 0.9743589743589743);
            }
        }
    }
    return mulVectorNumber(addVectors($var0, $var1), 0.5);
}
function addVectors(array $v1, array $v2) {
    $result = array();
    for ($i = 0; $i < count($v1); ++$i) {
        $result[] = $v1[$i] + $v2[$i];
    }
    return $result;
}
function mulVectorNumber(array $v1, $num) {
    $result = array();
    for ($i = 0; $i < count($v1); ++$i) {
        $result[] = $v1[$i] * $num;
    }
    return $result;
}
